let op = if b then ( * ) else ( + ) in
()
;;

assert ( * );;

( * ) [@a];;

assert ( ( * ) [@a] )
